/* 
 * File:   LecteurFonction.h
 * Author: Will
 *
 * Created on 1 janvier 2012, 14:34
 */

#ifndef LECTEURFONCTION_H
#define	LECTEURFONCTION_H

#include "Symbole.h"
#include "LecteurSymbole.h"
#include "TableSymboles.h"
#include "Arbre.h"
#include <stdlib.h>

#include <string>
using namespace std;

class LecteurFonction
{
    public:
        LecteurFonction(LecteurSymbole * ls);
//        Construit un lecteur de fonction pour analyser une déclaration de fonction
//        et bâtir les représentations nécessaires à son exécution
//        ls référence un lecteur de symbole dont le symbole courant est
//        le 1er symbole de la déclaration.
//        Aprés l'analyse, le symbole ourant sera le premier symbole qui suit la déclaration.
        Valeur* getValeur(vector<Noeud *> p);
        //évalue la fonction avec les valeurs de paramètres effectifs contenus dans la  Pile p
        //Si p ne contion pas nbParam valeurs, message d'erreur et fin du programme !
        inline string getNom() {return nom;}
        inline Noeud* getArbre() { return arbre;}
        string getCpp();
    inline int operator == (string ch) { return nom == ch; }   
private:
    LecteurSymbole      *ls;            // pointeur sur le lecteur de symboles utilisé pour analyser la fonction
    TableSymbolesNonTriee       tsf;             //la table des symboles valués de la fonction
    Noeud*              arbre;          // arbre abstrait
    string              nom;            //le nom (l'identificateur) de la fonction
    unsigned short      nbParam;        // le nombre de paramètres de la fonction
  
    
    //l'implémentation de la grammaire d'une déclaration de fonction
    Noeud* declFonction();      // <decl_fonction ::= fonction <variable> (<variable>{,<variable>}) debut <seqInst> fin
    Noeud* seqInst();	    	// <seqInst> ::= <inst> ; { <inst> ; } retour <expression>;
    Noeud* affectation();	// <affectation> ::= <variable> = <expression>
    Noeud* expression();	// <expression> ::= <terme> { <opAdd> <terme> }
    Noeud* terme();       // <terme> ::= <facteur> { <opMult> <facteur>} 
    Noeud* facteur();     //     <facteur> ::= <entier>  |  <variable>  | <opUnaire> <expBool> | ( <expBool> )
    Symbole opAdd();       //  <opAdd ::= + | -
    Symbole opMult();      // <opMult> ::= * | /z
    
    Noeud* expBool();     // <expBool> ::= <concatenation> { ou <concatenation> }
    Noeud* concatenation();// <concatenation> ::= <relation> { et <relation> }
    Noeud* relation();    // <relation> ::= <expression> { <opRel> <expression> }
    Symbole opRel();       // <opRel> ::= == | != | < | <= | > | >=
    Symbole opUnaire();    // <opUnaire> ::= -|non
    Noeud* inst();        // <inst> ::= <affectation> | <instSi> | <instTq> | <instRepeter>
    Noeud* instSi();     //<instSi> ::= si ( <expBool> ) <seqInst> { sinonsi ( <expBool> ) <seqInst> } [ sinon <seqInst> ] finsi
    Noeud* instTq();      //<instTq> ::= tantque ( <expBool> ) <seqInst> fintantque
    Noeud* instRepeter(); //<instRepeter> ::= repeter <seqInst> jusqua ( <expBool> )
    Noeud* instPour();    //<instPour> ::= pour ( <affectation> ; <expression> ; <affectation> ) <seqInst> finpour
    Noeud* instLire();    // <instLire> ::= lire ( <variable> )
    Noeud* instEcrire();  // <instEcrire> ::= ecrire ( <expression> | <chaine> )
    Noeud* instSwitch();  // <instSwitch> ::= switch ( <variable> ) {case <valeur>: <seqInst> fincase} [default: <seqInst>] finswitch
    
        // outils pour se simplifier l'analyse syntaxique
    void testerSymCour (string ch);  // si symbole courant != ch, erreur : on arrete le programme, sinon rien
    void sauterSymCour (string ch);  // si symbole courant == ch, on passe au symbole suivant, sinon erreur : on arrete
    void erreur (string mess);      // affiche les message d'erreur mess et arrete le programme
};



#endif	/* LECTEURFONCTION_H */

